0
1
4
4
7
4
7
4
1
0
0
0
0
0
0
7
10
10
7
4
0
0
0
0
0
10
13
10
13
10
7
4
0
0
0
0
13
16
16
10
7
0
0
16
19
22
19
16
13
10
1
0
0
13
16
19
22
25
22
16
10
7
4
0
19
22
25
28
25
22
19
16
13
10
7
4
1
31
34
34
34
34
34
34
37
37
37
37
37
37
45
40
40
40
40
45
45
40
40
40
40
45
50
45
45
45
45
50
Iteration 0, states=12, history=12
0
0
0
0
Iteration 1, states=284, history=296
0
0
0
0
Iteration 2, states=3383, history=3679
0
0
0
0
Iteration 3, states=43041, history=46720
0
0
0
0
Iteration 4, states=10000, history=250000
303
283
280
277
Iteration 5, states=10000, history=250000
332
316
314
312
Iteration 6, states=10000, history=250000
361
348
345
343
Iteration 7, states=10000, history=250000
386
373
371
368
Iteration 8, states=10000, history=250000
407
396
391
389
Iteration 9, states=10000, history=250000
430
414
411
409
Iteration 10, states=10000, history=250000
453
440
437
435
Iteration 11, states=10000, history=250000
478
466
463
461
Iteration 12, states=10000, history=250000
490
479
476
475
Iteration 13, states=10000, history=250000
501
487
485
483
Iteration 14, states=10000, history=250000
509
496
493
492
Iteration 15, states=10000, history=250000
517
506
504
503
Iteration 16, states=10000, history=250000
527
512
511
509
Iteration 17, states=10000, history=250000
545
526
521
520
Iteration 18, states=10000, history=250000
553
541
538
536
Iteration 19, states=10000, history=250000
560
547
547
544
Iteration 20, states=10000, history=250000
575
566
566
563
Iteration 21, states=10000, history=250000
596
587
587
584
Iteration 22, states=10000, history=250000
604
595
592
591
Iteration 23, states=10000, history=250000
618
612
609
607
Iteration 24, states=10000, history=250000
637
631
628
628
Iteration 25, states=10000, history=250000
653
644
644
641
Iteration 26, states=10000, history=250000
662
653
653
650
Iteration 27, states=10000, history=250000
662
656
653
653
Iteration 28, states=72497, history=250000
0
0
0
0